Ascoli-Arzelà Theorem
نویسندگان
چکیده
Summary . In this article we formalize the Ascoli-Arzelà theorem [5], [6], [8] in Mizar [1], [2]. First, gave definitions of equicontinuousness and equiboundedness a set continuous functions [12], [7], [3], [9]. Next, formalized using those definitions, proved theorem.
منابع مشابه
An Operator Arzelà-ascoli Theorem
We generalize the Arzelà-Ascoli theorem to the setting of matrix order unit spaces, extending the work of Antonescu-Christensen on unital C∗algebras. This gives an affirmative answer to a question of Antonescu and Christensen.
متن کاملAn Asymmetric Arzelà-Ascoli Theorem
An Arzelà-Ascoli theorem for asymmetric metric spaces (sometimes called quasi-metric spaces) is proved. One genuinely asymmetric condition is introduced, and it is shown that several classic statements fail in the asymmetric context if this assumption is dropped.
متن کاملAn Ascoli Theorem for Sequential Spaces
Ascoli theorems characterize “precompact” subsets of the set of morphisms between two objects of a category in terms of “equicontinuity” and “pointwise precompactness,” with appropriate definitions of precompactness and equicontinuity in the studied category. An Ascoli theorem is presented for sets of continuous functions from a sequential space to a uniform space. In our development we make ex...
متن کاملMATH 328: Chapter 4: Theorem of Arzela-Ascoli
In this chapter, we begin to discuss the ways in which R differs from C[0,1]. In particular, we compare the characterization of compact subsets of R by HeineBorel with the characterization of compact subsets of C[0,1] by Arzela-Ascoli. We find that subsets of C[0,1] must satisfy more conditions than subsets of R if they are to be compact. Before we can begin to investigate this, we have a few p...
متن کاملThe Kolmogorov–riesz Compactness Theorem
We show that the Arzelà–Ascoli theorem and Kolmogorov compactness theorem both are consequences of a simple lemma on compactness in metric spaces. Their relation to Helly’s theorem is discussed. The paper contains a detailed discussion on the historical background of the Kolmogorov compactness theorem.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formalized Mathematics
سال: 2021
ISSN: ['1898-9934', '1426-2630']
DOI: https://doi.org/10.2478/forma-2021-0009